Hardware specification, verification and synthesis: mathematical aspects - proceedings
- Författare
- (Mathematical sciences institute workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989 M. Lesser, G. Brown (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1990 | Tyskland, Berlin, New York | 402 sidor. | |
| Springer New York | 1990 | Utgivningsland okänt / Ej specificerat |